On Fault Diagnosis of Asynchronous Sequential Machines with Parallel Composition
نویسنده
چکیده
Fault diagnosis of composite asynchronous sequential machines with parallel composition is addressed in this paper. An adversarial input can infiltrate one of two submachines comprising the composite asynchronous machine, causing an unauthorized state transition. The objective is to characterize the condition under which the controller can diagnose any fault occurrence. Two control configurations, state feedback and output feedback, are considered in this paper. In the case of output feedback, the exact estimation of the state is impossible since the current state is inaccessible and the output feedback is given as the form of burst. A simple example is provided to demonstrate the proposed methodology. Keywords—Asynchronous sequential machines, parallel composition, fault diagnosis.
منابع مشابه
Asynchronous Sequential Machines with Fault Detectors
A strategy of fault diagnosis and tolerance for asynchronous sequential machines is discussed in this paper. With no synchronizing clock, it is difficult to diagnose an occurrence of permanent or stuck-in faults in the operation of asynchronous machines. In this paper, we present a fault detector comprised of a timer and a set of static functions to determine the occurrence of faults. In order ...
متن کاملFault Tolerance in Asynchronously Operated Machines Allowing Temporary Violation of Normal Specification
A novel scheme of fault tolerance for input/state asynchronous sequential machines is presented in this paper. The machine may undergo unauthorized state transitions caused by adversarial inputs. The considered faults have the feature of intermittency in their influences so that the adverse effect persists for some finite time after initial occurrence. Since strong fault tolerance is impossible...
متن کاملRecovery from Intermittent Faults for Input/state Asynchronous Sequential Machines
This paper presents a corrective control scheme that automatically counteracts the adverse effect of intermittent faults in the logic of asynchronous sequential machines. When an intermittent fault occurs to the machine, a set of state transitions defined in the machine suspends the normal behavior for a finite interval. The objective is to design a corrective controller that makes the closed-l...
متن کاملRestricted cascade and wreath products of fuzzy finite switchboard state machines
A finite switchboard state machine is a specialized finite state machine. It is built by binding the concepts of switching state machines and commutative state machines. The main purpose of this paper is to give a specific algorithm for fuzzy finite switchboard state machine and also, investigates the concepts of switching relation, covering, restricted cascade products and wreath products of f...
متن کاملExtraction of MDE Architectures from Parallel Streaming Applications
We present an incremental approach to extract an MDE architecture from parallel streaming applications. We begin with a sequential pipe-and-filter architecture as our initial model. We then use transformations to refine (the standard technique that reveals hierarchical detail), extend (expose extra ports, functionality, components, and connectors), and optimize (break encapsulation boundaries t...
متن کامل